Nonmonotonic Reasoning Based on Incomplete Logic

What characterizes human reasoning is the ability of deal ing with incomplete information Incomplete logic is developed for modeling incomplete knowledge The most distinctive feature of incomplete logic is its se mantics This is an alternative presentation of partial semantics In this paper we will introduce the general notion of incomplete logic ICL compare it with partial logic and give the resolution method for it We will also show how ICL can be applied to nonmonotonic reasoning We de ne nonmonotonic deriva tion as monotonic derivation in ICL from the database and some consistent assumptions The mechanism of ICL makes it easy to assert the consistency of an assumption without asserting the assumption itself